| 1. Identificação | ||||
| Tipo de Referência | Artigo em Evento (Conference Proceedings) | |||
| Site | mtc-m21b.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP3W34P/3ME84P5 | |||
| Repositório | sid.inpe.br/mtc-m21b/2016/09.13.15.59 (acesso restrito) | |||
| Última Atualização | 2016:09.13.15.59.50 (UTC) simone | |||
| Repositório de Metadados | sid.inpe.br/mtc-m21b/2016/09.13.15.59.50 | |||
| Última Atualização dos Metadados | 2021:03.29.22.38.13 (UTC) administrator | |||
| Chave Secundária | INPE--PRE/ | |||
| ISSN | 2177-3114 | |||
| Chave de Citação | CerqueiraSilRodAmbVil:2016:TwInPr | |||
| Título | Two independent processes of verification applied to a satellite simulator  | |||
| Formato | On-line. | |||
| Ano | 2016 | |||
| Data de Acesso | 11 maio 2024 | |||
| Tipo Secundário | PRE CN | |||
| Número de Arquivos | 1 | |||
| Tamanho | 1141 KiB | |||
| 2. Contextualização | ||||
| Autor | 1 Cerqueira, Christopher Schneider 2 Silva, Paulo Diego Barbosa da 3 Rodrigues, Italo Pinto 4 Ambrosio, Ana Maria 5 Villani, Emilia | |||
| Identificador de Curriculo | 1 2 3 4 8JMKD3MGP5W/3C9JGH7 | |||
| Grupo | 1 CSE-ETES-SPG-INPE-MCTI-GOV-BR 2 CSE-ETES-SPG-INPE-MCTI-GOV-BR 3 CSE-ETES-SPG-INPE-MCTI-GOV-BR 4 DSE-ETE-INPE-MCTI-GOV-BR | |||
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) 4 Instituto Nacional de Pesquisas Espaciais (INPE) 5 Instituto Tecnológico de Aeronáutica (ITA) | |||
| Endereço de e-Mail do Autor | 1 christopher.cerqueira@inpe.br 2 paulodiego1@gmail.com 3 4 ana.ambrosio@inpe.br | |||
| Editor | Cerqueira, Christopher Shneider Souza, Alain Giacobini de Oliveira Junior, Eloy Martins de Bertoldo Junior, Jorge Yassuda, Irineu dos Santos Lima, Jeanne Samara dos Santos Morais, Marcelo Henrique Essado de Oliveira, Mônica Elizabeth Rocha de Gondo, Suely Mitsuko Hirakawa Fornari, Celso Israel Toledo, Rafael Cardoso Fischer, Gustavo Alexandre Achilles | |||
| Nome do Evento | Workshop em Engenharia e Tecnologias Espaciais, 7 (WETE) | |||
| Localização do Evento | São José dos Campos | |||
| Data | 23-25 ago. 2016 | |||
| Editora (Publisher) | Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Cidade da Editora | São José dos Campos | |||
| Título do Livro | Anais | |||
| Histórico (UTC) | 2016-09-13 15:59:50 :: simone -> administrator :: 2016-09-14 06:30:29 :: administrator -> simone :: 2016 2016-12-22 14:46:56 :: simone -> administrator :: 2016 2017-01-09 13:59:31 :: administrator -> simone :: 2016 2017-02-17 14:50:47 :: simone -> administrator :: 2016 2021-03-29 22:38:13 :: administrator -> simone :: 2016 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Palavras-Chave | Software Verification Modeling & Simulation Conformance Test Systems Verification Model-Based Test | |||
| Resumo | The process of a satellite simulator software verification demands high-efficiency in meeting realistic set of functional requirements. Based on this, the manual verification process becomes impracticable, thereby requiring an automated process. The satellite behavior that is represented here into tables of cause-effect rules requires to assure that the logic implemented in the simulator conforms to the logic of the cause-effect tables. Therefore, this survey suggests two different processes, and compare which one is most efficiently in detecting errors in the software. This processes involves the union of two techniques, Conformance and Fault Injection (CoFI) and Model Checking combined as a method to translate the tables of cause-effect into finite state machines as first input to automating the processes. The comparison will define which process generates the best logical coverage of the models and create test cases more efficient in finding more errors before not seen through the manual verification process. | |||
| Área | ETES | |||
| Arranjo 1 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CSE > Two independent processes... | |||
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSE > Two independent processes... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| Idioma | pt | |||
| Grupo de Usuários | self-uploading-INPE-MCTI-GOV-BR simone | |||
| Grupo de Leitores | administrator simone | |||
| Visibilidade | shown | |||
| Permissão de Leitura | deny from all and allow from 150.163 | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Vinculação | 8JMKD3MGP3W34P/3KT8D7H | |||
| Repositório Espelho | urlib.net/www/2011/03.29.20.55 | |||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F35BSP 8JMKD3MGPCW/446AUSL | |||
| Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.14.22.20 3 sid.inpe.br/bibdigital/2021/02.11.20.54 3 sid.inpe.br/mtc-m21/2012/07.13.14.39.50 1 | |||
| Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 | |||
| 6. Notas | ||||
| Campos Vazios | archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition isbn label lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarytype type url versiontype volume | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | simone | |||
| atualizar | ||||